تعداد ۷۵ پاسخ غیر تکراری از ۷۵ پاسخ تکراری در مدت زمان ۰,۶۶ ثانیه یافت شد.

1. A Beginners Guide to Python 3 Programming /

پدیدآورنده: by John Hunt.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Database Management.,Programming Languages, Compilers, Interpreters.,Python.

رده :

QA76

.

7-76

.

73

2. Advanced Guide to Python 3 Programming /

پدیدآورنده: by John Hunt.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Database Management.,Programming Languages, Compilers, Interpreters.,Python.

رده :

QA76

.

7-76

.

73

3. Advances in Design and Specification Languages for Embedded Systems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Based Systems. ; Programming Languages, Compilers, Interpreters. ; C-Engineering. ; Software engineering. ; Computer network architectures. ; Computer science. ; Systems engineering. ; Engineering. ; Circuits and Systems. ; Special Purpose and Application

4. Algebraic foundations in computer science :

پدیدآورنده: edited by Werner Kuich, George Rahonis.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.

رده :

QA76

.

9

.

M35

A44

2011

5. An Analytical Description of CHILL, the CCITT High Level Language

پدیدآورنده: edited by Paul Branquart, Georges Louis, Pierre Wodon.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Science,Computer science.,Programming Languages, Compilers, Interpreters

6. Android recipes :

پدیدآورنده: Dave Smith, Erik Hellman, authors

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Application software-- Development.,Mobile computing.,Computer Science.,Mobile Computing.,Programming Languages, Compilers, Interpreters.,Programming Techniques.

رده :

QA76

.

76

.

A65

7. Automated technology for verification and analysis :

پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses

رده :

QA76

.

9

.

A96

A88

2011

8. Based Design-Cyber Physical Systems. Model

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Based Systems; Computer System Implementation; Control Structures and Microprogramming; Programming Languages, Compilers, Interpreters-Computer Science; Information Systems Applications (incl.Internet); Special Purpose and Application

9. Beginning Haskell

پدیدآورنده: by Alejandro Serrano Mena.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.

10. Beginning PHP and MySQL

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science. ; Computer Science. ; Programming Languages, Compilers, Interpreters. ;

11. Beginning Ruby

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science. ; Computer Science. ; Programming Languages, Compilers, Interpreters. ;

12. CLU Reference Manual

پدیدآورنده: by Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Science,Computer science.,Programming Languages, Compilers, Interpreters

13. Certified programs and proofs :

پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses

رده :

QA76

.

9

.

M35

C37

2011eb

14. Computational Logic in Multi-Agent Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر

رده :

E-Book

,

15. Computational artifacts :

پدیدآورنده: Raymond Turner.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :

QA76

.

167

16. Conceptual modeling--ER 2011 :

پدیدآورنده: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses

رده :

QA76

.

9

.

C65

I58

2011

17. Formal methods and software engineering :

پدیدآورنده: Shengchao Qin, Zongyan Qiu (edition)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses

رده :

QA76

.

9

.

F67

I34

2011

18. Formal methods for industrial critical systems :

پدیدآورنده: Falk Howar, Jiří Barnat (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :

QA76

.

9

.

F67

I58

2018eb

19. Formal methods, foundations and applications :

پدیدآورنده: Adenilso Simao, Carroll Morgan (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses

رده :

QA76

.

9

.

F67

B73

2011

20. Formal modeling :

پدیدآورنده: Gul Agha, Olivier Danvy, José Meseguer. (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering

رده :

QA76

.

9

.

F67

F67

2011

»
4
3
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است